61. Finite representations of CCS and TCSP programs by automata and Petri nets
پدیدآورنده : Taubner, Dirk
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Distributed processing ، Electronic data processing,، Petri nets,، Programming languages )Electronic computers(
رده :
QA
76
.
9
.
D5
.
T39
1989
62. Finite representations of CCS and TCSP programs by automata and Petri nets
پدیدآورنده : Taubner, Dirk
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Electronic data processing -- Distributed processing,، Petri nets,، Programming languages )Electronic computers(
رده :
QA
76
.
9
.
D5
T39
1989
63. Finite representations of CCS and TCSP programs by automata and Petri nets
پدیدآورنده : Taubner, Dirk, 9591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Electronic data processing -- Distributed processing,، Petri nets,، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
369
64. Finite representations of CCS and TCSP programs by automata and Petri nets
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Electronic data processing ; Distributed processing. ; Petri nets. ; Programming languages (Electronic computers) ;
65. Formal methods for concurrency
پدیدآورنده : Fencott, Clive
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Real-time data processing , Real-time programming , Programming Languages )Electronic computers(
رده :
QA
76
.
54
.
F46
1996
66. From Point to Pixel:
پدیدآورنده : Hoy, Meredith Anne
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع :
67. GNU Octave
پدیدآورنده : Jesper Schmidt Hansen
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Numerical analysis-- Data processing,Programming languages (Electronic computers)
رده :
QA76
.
73
.
G58
S36
2011
68. Handbook of circuit analysis languages and techniques
پدیدآورنده : editors, Randall W. Jensen, Lawrence P. McNamee
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Electronic circuit design -- Data processing,، Programming languages )Electronic computers(
رده :
TK
7867
.
J39
69. Handbook of circuit analysis languages and techniques
پدیدآورنده : editors, Randall W. Jensen, Lawrence P. McNamee
موضوع : Electronic circuit design- Data processing,Programming languages (Electronic computers)
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
70. Handbook on parallel and distributed processing
پدیدآورنده : edited by Jacek Blazewicz [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Electronic data processing -- Distributed processing.,Parallel processing (Electronic computers)
رده :
QA76
.
58
E358
2011
71. Hardware description languages and their applications: specification, modelling, verification and synthesis of microelectronic systems: IFIP TC10 WG10.5 International Conference on Computer Hardware Description Languages and their Applications, 20-25 April 1997, Toledo, Spain
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Electronic digital computers-- Design and construction-- Data processing-- Congresses,، Digital electronics-- Data processing-- Congresses,، Programming language )Electronic computers(-- Congresses
رده :
TK
7888
.
3
.
I57
1997
72. Informationsverarbeitung :
پدیدآورنده : Juergen Rasch, Angele Daalmann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Electronic data processing.,Programming languages (Electronic computers)
73. Informatique
پدیدآورنده : / par Daniel-Jean David,David
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع : Electronic data processing,Electronic digital computers - Programming,Programming languages ( Electronic computers)
رده :
QA
76
.
D33328
74. Introducing regular expressions
پدیدآورنده : \ Michael Fitzgerald
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Text processing (Computer science),Programming languages (Electronic computers),Electronic data processeing,data processing,متن‌پردازی,زبانهای برنامه‌نویسی کامپیوتر,داده پردازی ,a03,a04,a05,a05,a03,a04,a05
رده :
QA
76
.
9
.
F5I5
2012
E-Book
,
75. Introducing regular expressions /
پدیدآورنده : Michael Fitzgerald.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Electronic data processing.,Programming languages (Electronic computers),Text processing (Computer science)
رده :
QA76
.
9
.
T48
F58
2012
76. Introduction to computer data processing
پدیدآورنده : / Margaret S. Wu
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Electronic data processing,Electronic digital computers,Programming languages (Electronic computers)
رده :
QA76
.
W83
77. Introduction to computer data processing
پدیدآورنده : / Margaret S. Wu
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Electronic data processing,Electronic digital computers,Programming languages (Electronic computers)
رده :
QA76
.
W83
78. Introduction to computer data processing
پدیدآورنده : Wu, Margaret Schlosser.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Electronic data processing,، Electronic digital computers,، Programming languages )Electronic computers(
رده :
QA
76
.
W9
79. Introduction to computers
پدیدآورنده : Gordon B. Davis,Title
موضوع : Electronic digital computers,Electronic data processing,Programming languages )Electronic computers(
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
80. Introduction to computers
پدیدآورنده : Davis, Gordon Bitter.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Electronic digital computers,، Electronic data processing,، Programming languages )Electronic computers(
رده :
QA
76
.
5
.
D29
1977
